1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
use super::*;
#[derive(Debug, Clone, Eq, PartialEq)]
pub struct Match {
pub relationship: Relationship,
pub constraints: Constraints,
}
impl Match {
#[inline]
pub fn dependency(usage: Usage) -> Match {
Match {
relationship: Relationship::dependency(usage),
constraints: Constraints::default(),
}
}
#[inline]
pub fn clip(self, linearity: Linearity) -> Match {
Match {
relationship: self.relationship.meet_usage(linearity.max_usage()),
..self
}
}
#[inline]
pub fn into_constraints(mut self, base: Option<ValId>, value: Option<ValId>) -> Constraints {
self.constraints
.require(base, value, self.relationship, true);
self.constraints
}
}
impl Default for Match {
fn default() -> Match {
Match {
relationship: Relationship::dependency(Usage::OBSERVED),
constraints: Constraints::default(),
}
}
}
pub const INCONSISTENT_MATCH: Match = Match {
relationship: Relationship::CN,
constraints: Constraints::Contradiction,
};